Header header
TrafficLight[] lights
